Optimal. Leaf size=88 \[ -\frac{5}{19652 d (5 \tan (c+d x)+3)}-\frac{15}{1156 d (5 \tan (c+d x)+3)^2}-\frac{5}{102 d (5 \tan (c+d x)+3)^3}-\frac{60 \log (5 \sin (c+d x)+3 \cos (c+d x))}{83521 d}-\frac{161 x}{334084} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.120047, antiderivative size = 88, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 4, integrand size = 12, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.333, Rules used = {3483, 3529, 3531, 3530} \[ -\frac{5}{19652 d (5 \tan (c+d x)+3)}-\frac{15}{1156 d (5 \tan (c+d x)+3)^2}-\frac{5}{102 d (5 \tan (c+d x)+3)^3}-\frac{60 \log (5 \sin (c+d x)+3 \cos (c+d x))}{83521 d}-\frac{161 x}{334084} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3483
Rule 3529
Rule 3531
Rule 3530
Rubi steps
\begin{align*} \int \frac{1}{(3+5 \tan (c+d x))^4} \, dx &=-\frac{5}{102 d (3+5 \tan (c+d x))^3}+\frac{1}{34} \int \frac{3-5 \tan (c+d x)}{(3+5 \tan (c+d x))^3} \, dx\\ &=-\frac{5}{102 d (3+5 \tan (c+d x))^3}-\frac{15}{1156 d (3+5 \tan (c+d x))^2}+\frac{\int \frac{-16-30 \tan (c+d x)}{(3+5 \tan (c+d x))^2} \, dx}{1156}\\ &=-\frac{5}{102 d (3+5 \tan (c+d x))^3}-\frac{15}{1156 d (3+5 \tan (c+d x))^2}-\frac{5}{19652 d (3+5 \tan (c+d x))}+\frac{\int \frac{-198-10 \tan (c+d x)}{3+5 \tan (c+d x)} \, dx}{39304}\\ &=-\frac{161 x}{334084}-\frac{5}{102 d (3+5 \tan (c+d x))^3}-\frac{15}{1156 d (3+5 \tan (c+d x))^2}-\frac{5}{19652 d (3+5 \tan (c+d x))}-\frac{60 \int \frac{5-3 \tan (c+d x)}{3+5 \tan (c+d x)} \, dx}{83521}\\ &=-\frac{161 x}{334084}-\frac{60 \log (3 \cos (c+d x)+5 \sin (c+d x))}{83521 d}-\frac{5}{102 d (3+5 \tan (c+d x))^3}-\frac{15}{1156 d (3+5 \tan (c+d x))^2}-\frac{5}{19652 d (3+5 \tan (c+d x))}\\ \end{align*}
Mathematica [C] time = 1.13588, size = 87, normalized size = 0.99 \[ \frac{-\frac{170 \left (75 \tan ^2(c+d x)+855 \tan (c+d x)+1064\right )}{(5 \tan (c+d x)+3)^3}+(720+483 i) \log (-\tan (c+d x)+i)+(720-483 i) \log (\tan (c+d x)+i)-1440 \log (5 \tan (c+d x)+3)}{2004504 d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.02, size = 97, normalized size = 1.1 \begin{align*}{\frac{30\,\ln \left ( 1+ \left ( \tan \left ( dx+c \right ) \right ) ^{2} \right ) }{83521\,d}}-{\frac{161\,\arctan \left ( \tan \left ( dx+c \right ) \right ) }{334084\,d}}-{\frac{5}{102\,d \left ( 3+5\,\tan \left ( dx+c \right ) \right ) ^{3}}}-{\frac{15}{1156\,d \left ( 3+5\,\tan \left ( dx+c \right ) \right ) ^{2}}}-{\frac{5}{19652\,d \left ( 3+5\,\tan \left ( dx+c \right ) \right ) }}-{\frac{60\,\ln \left ( 3+5\,\tan \left ( dx+c \right ) \right ) }{83521\,d}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.65634, size = 126, normalized size = 1.43 \begin{align*} -\frac{483 \, d x + 483 \, c + \frac{85 \,{\left (75 \, \tan \left (d x + c\right )^{2} + 855 \, \tan \left (d x + c\right ) + 1064\right )}}{125 \, \tan \left (d x + c\right )^{3} + 225 \, \tan \left (d x + c\right )^{2} + 135 \, \tan \left (d x + c\right ) + 27} - 360 \, \log \left (\tan \left (d x + c\right )^{2} + 1\right ) + 720 \, \log \left (5 \, \tan \left (d x + c\right ) + 3\right )}{1002252 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.62391, size = 483, normalized size = 5.49 \begin{align*} -\frac{375 \,{\left (161 \, d x + 135\right )} \tan \left (d x + c\right )^{3} + 75 \,{\left (1449 \, d x + 1300\right )} \tan \left (d x + c\right )^{2} + 13041 \, d x + 360 \,{\left (125 \, \tan \left (d x + c\right )^{3} + 225 \, \tan \left (d x + c\right )^{2} + 135 \, \tan \left (d x + c\right ) + 27\right )} \log \left (\frac{25 \, \tan \left (d x + c\right )^{2} + 30 \, \tan \left (d x + c\right ) + 9}{\tan \left (d x + c\right )^{2} + 1}\right ) + 45 \,{\left (1449 \, d x + 2830\right )} \tan \left (d x + c\right ) + 101375}{1002252 \,{\left (125 \, d \tan \left (d x + c\right )^{3} + 225 \, d \tan \left (d x + c\right )^{2} + 135 \, d \tan \left (d x + c\right ) + 27 \, d\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 1.56405, size = 790, normalized size = 8.98 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.29466, size = 113, normalized size = 1.28 \begin{align*} -\frac{483 \, d x + 483 \, c - \frac{25 \,{\left (6600 \, \tan \left (d x + c\right )^{3} + 11625 \, \tan \left (d x + c\right )^{2} + 4221 \, \tan \left (d x + c\right ) - 2192\right )}}{{\left (5 \, \tan \left (d x + c\right ) + 3\right )}^{3}} - 360 \, \log \left (\tan \left (d x + c\right )^{2} + 1\right ) + 720 \, \log \left ({\left | 5 \, \tan \left (d x + c\right ) + 3 \right |}\right )}{1002252 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]